Formal Modeling of Trust Web Service Composition using Pi-calculus
نویسنده
چکیده
To enhance the credibility of Web service composition, Pi-calculus based formal modeling of trust Web service composition is proposed. Trust Web service composition is firstly defined abstractly; then Picalculus is used to depict structure and internal interaction of Trust Web service composition, the mapping relation between trust entity and Pi-calculus is provided. Automatic reasoner MWB is adopted to analyze and reason the Trust Web service composition system, which is aimed at finding and correcting the faults before the implementation of trust authentication of Web service composition. It thus meets the users’ demands on trust quality effectively.
منابع مشابه
Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model
There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be ex...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملSecuring Web Service Compositions: Formalizing Authorization Policies Using Event Calculus
Service composition is a fundamental technique for developing Web services based applications. As autonomous services are invoked through protocols, issues such as security must be taken into account. Thus, ensuring security in such a system is challenging and not supported by most of the security frameworks proposed in current literature. This paper presents a formal model for composing securi...
متن کاملPi calculus versus Petri nets : Let us eat “ humble pie ” rather than further inflate the “ Pi hype ”
In the context of Web Service Composition Languages (WS-CLs) there is on ongoing debate on the best foundation for Process-Aware Information Systems (PAISs): Petri nets or Pi calculus. Example of PAISs are Workflow Management (WFM), Business Process Management (BPM), Business-to-Business (B2B), Customer Relationship Management (CRM), Enterprise Resource Planning (ERP) systems. Clearly, the web-...
متن کاملPi Calculus Versus Petri Nets
In the context of Web Service Composition Languages (WSCLs), there is on ongoing debate on the best foundation for Process-Aware Information Systems (PAIS’s): Petri nets or Pi calculus. Example of PAIS’s are Workflow Management (WFM), Business Process Management (BPM), Business-to-Business (B2B), Customer Relationship Management (CRM), and Enterprise Resource Planning (ERP) systems. Clearly, th...
متن کامل